- нумерически выразимый предикат
- Mathematics: numeralwise expressible predicate
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
НУМЕРИЧЕСКИ ВЫРАЗИМЫЙ ПРЕДИКАТ — арифметический предикат обладающий по отношению к данной формальной системе S арифметики следующим свойством: существует такая формула в языке арифметики формальной, что для любых натуральных чисел 1) если истинно, то 2)еслиложно, то где означает … Математическая энциклопедия